Two kinds of non-monotonic analogical inference
Identifieur interne : 001003 ( Main/Exploration ); précédent : 001002; suivant : 001004Two kinds of non-monotonic analogical inference
Auteurs : Manfred Kerber [Royaume-Uni] ; Erica Melis [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 1996.
English descriptors
- Teeft :
- Actual value, Additional information, Analogical, Analogical inference, Analogical inferences, Analogical reasoning, Analogical representations, Analogous relation, Appropriate semantics, Artificial intelligence, Aspect cars, Chicago press, Classical logic, Cognitive psychology, Cognitive science, Concept representation, Concept structure, Concept structures, Conceptual part, Conceptual subsystem, Consistency constraint, Different kinds, Habor, Hybrid, Hybrid framework, Inference, Inhabitant, Instance rome, Knowledge base, Knowledge representation, Madrid, Many approaches, Minimal model, Minimal model semantics, Minimal models, Partial interpretation, Partial interpretation function, Partial order, Propositional, Propositional part, Propositional subsystem, Public_transportation, Reasoner, Relevance knowledge, Relevant aspect, Relevant information, Same number, Semantic characterization, Semantics, Source case, Subsystem, Target case, Traffic system, Typical city, Typical example, Typical examples, Typical instance, Typical instance berlin, Typical instances, Typicality relation.
Abstract
Abstract: This paper addresses two modi of analogical reasoning. The first modus is based on the explicit representation of the justification for the analogical inference. The second modus is based on the representation of typical instances by concept structures. The two kinds of analogical inferences rely on different forms of relevance knowledge that cause non-monotonicity. While the uncertainty and non-monotonicity of analogical inferences is not questioned, a semantic characterization of analogical reasoning has not been given yet. We introduce a minimal model semantics for analogical inference with typical instances.
Url:
DOI: 10.1007/3-540-61313-7_86
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000141
- to stream Istex, to step Curation: 000135
- to stream Istex, to step Checkpoint: 000D86
- to stream Main, to step Merge: 001005
- to stream Main, to step Curation: 001003
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Two kinds of non-monotonic analogical inference</title>
<author><name sortKey="Kerber, Manfred" sort="Kerber, Manfred" uniqKey="Kerber M" first="Manfred" last="Kerber">Manfred Kerber</name>
</author>
<author><name sortKey="Melis, Erica" sort="Melis, Erica" uniqKey="Melis E" first="Erica" last="Melis">Erica Melis</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:0DECB972C27F8379157AC1A0BBFB945539692CE5</idno>
<date when="1996" year="1996">1996</date>
<idno type="doi">10.1007/3-540-61313-7_86</idno>
<idno type="url">https://api.istex.fr/document/0DECB972C27F8379157AC1A0BBFB945539692CE5/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000141</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000141</idno>
<idno type="wicri:Area/Istex/Curation">000135</idno>
<idno type="wicri:Area/Istex/Checkpoint">000D86</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000D86</idno>
<idno type="wicri:doubleKey">0302-9743:1996:Kerber M:two:kinds:of</idno>
<idno type="wicri:Area/Main/Merge">001005</idno>
<idno type="wicri:Area/Main/Curation">001003</idno>
<idno type="wicri:Area/Main/Exploration">001003</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Two kinds of non-monotonic analogical inference</title>
<author><name sortKey="Kerber, Manfred" sort="Kerber, Manfred" uniqKey="Kerber M" first="Manfred" last="Kerber">Manfred Kerber</name>
<affiliation wicri:level="2"><country>Royaume-Uni</country>
<placeName><region type="country">Angleterre</region>
</placeName>
<wicri:cityArea>School of Computer Science, The University of Birmingham, B15 2TT, Birmingham</wicri:cityArea>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Royaume-Uni</country>
</affiliation>
</author>
<author><name sortKey="Melis, Erica" sort="Melis, Erica" uniqKey="Melis E" first="Erica" last="Melis">Erica Melis</name>
<affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country>
<wicri:regionArea>FB Informatik, Universität des Saarlandes, D-66041, Saarbrücken</wicri:regionArea>
<placeName><region type="land" nuts="2">Sarre (Land)</region>
<settlement type="city">Sarrebruck</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<title level="s" type="sub">Lecture Notes in Artificial Intelligence</title>
<imprint><date>1996</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Actual value</term>
<term>Additional information</term>
<term>Analogical</term>
<term>Analogical inference</term>
<term>Analogical inferences</term>
<term>Analogical reasoning</term>
<term>Analogical representations</term>
<term>Analogous relation</term>
<term>Appropriate semantics</term>
<term>Artificial intelligence</term>
<term>Aspect cars</term>
<term>Chicago press</term>
<term>Classical logic</term>
<term>Cognitive psychology</term>
<term>Cognitive science</term>
<term>Concept representation</term>
<term>Concept structure</term>
<term>Concept structures</term>
<term>Conceptual part</term>
<term>Conceptual subsystem</term>
<term>Consistency constraint</term>
<term>Different kinds</term>
<term>Habor</term>
<term>Hybrid</term>
<term>Hybrid framework</term>
<term>Inference</term>
<term>Inhabitant</term>
<term>Instance rome</term>
<term>Knowledge base</term>
<term>Knowledge representation</term>
<term>Madrid</term>
<term>Many approaches</term>
<term>Minimal model</term>
<term>Minimal model semantics</term>
<term>Minimal models</term>
<term>Partial interpretation</term>
<term>Partial interpretation function</term>
<term>Partial order</term>
<term>Propositional</term>
<term>Propositional part</term>
<term>Propositional subsystem</term>
<term>Public_transportation</term>
<term>Reasoner</term>
<term>Relevance knowledge</term>
<term>Relevant aspect</term>
<term>Relevant information</term>
<term>Same number</term>
<term>Semantic characterization</term>
<term>Semantics</term>
<term>Source case</term>
<term>Subsystem</term>
<term>Target case</term>
<term>Traffic system</term>
<term>Typical city</term>
<term>Typical example</term>
<term>Typical examples</term>
<term>Typical instance</term>
<term>Typical instance berlin</term>
<term>Typical instances</term>
<term>Typicality relation</term>
</keywords>
</textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: This paper addresses two modi of analogical reasoning. The first modus is based on the explicit representation of the justification for the analogical inference. The second modus is based on the representation of typical instances by concept structures. The two kinds of analogical inferences rely on different forms of relevance knowledge that cause non-monotonicity. While the uncertainty and non-monotonicity of analogical inferences is not questioned, a semantic characterization of analogical reasoning has not been given yet. We introduce a minimal model semantics for analogical inference with typical instances.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
<li>Royaume-Uni</li>
</country>
<region><li>Angleterre</li>
<li>Sarre (Land)</li>
</region>
<settlement><li>Sarrebruck</li>
</settlement>
</list>
<tree><country name="Royaume-Uni"><region name="Angleterre"><name sortKey="Kerber, Manfred" sort="Kerber, Manfred" uniqKey="Kerber M" first="Manfred" last="Kerber">Manfred Kerber</name>
</region>
<name sortKey="Kerber, Manfred" sort="Kerber, Manfred" uniqKey="Kerber M" first="Manfred" last="Kerber">Manfred Kerber</name>
</country>
<country name="Allemagne"><region name="Sarre (Land)"><name sortKey="Melis, Erica" sort="Melis, Erica" uniqKey="Melis E" first="Erica" last="Melis">Erica Melis</name>
</region>
<name sortKey="Melis, Erica" sort="Melis, Erica" uniqKey="Melis E" first="Erica" last="Melis">Erica Melis</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Sarre/explor/MusicSarreV3/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001003 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001003 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Sarre |area= MusicSarreV3 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:0DECB972C27F8379157AC1A0BBFB945539692CE5 |texte= Two kinds of non-monotonic analogical inference }}
This area was generated with Dilib version V0.6.33. |